теория формальных систем и алгоритмов